Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France

Source URL: pxtp.github.io

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Computability theory
• Models of computation
• First-order logic
• Lambda calculus
• Term
• Quantifier
• Natural deduction
• CurryHoward correspondence

A New Family of Pairing-Friendly Elliptic Curves Michael Scott and Aurore Guillevic MIRACL.com Université de Lorraine, CNRS, Inria, LORIA, Nancy, France WAIFI 2018, Bergen, Norway, June 14–16

Source URL: caramba.inria.fr

• Geometry
• Mathematics
• Space
• Analytic number theory
• Elliptic curve
• Group theory
• Curve

Making Automatic Theorem Provers more Versatile Simon Cruanes University of Lorraine, CNRS, Inria, LORIA, 54000 Nancy, France Abstract We argue that automatic theorem provers should become more versatile and should be ab

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Software engineering
• Mathematical software
• Formal methods
• Logic in computer science
• Proof assistants
• Automated theorem proving
• Automated reasoning
• Satisfiability modulo theories
• E theorem prover
• ACL2
• Isabelle

Symbol spotting for technical documents : An efficient template-Matching approach Jonathan Weber and Salvatore Tabbone Universit´e de Lorraine, LORIA-UMR 7503, Vandœuvre-l`es-Nancy, F-54506, France {jonathan.weber, tab

Source URL: www.jonathan-weber.eu

Genus 2 point counting over prime fields Pierrick Gaudry LORIA, CNRS / INRIA / Nancy Universit´e, Nancy, France ´ Eric

Source URL: cs.uwaterloo.ca

SECOND ANNOUNCEMENT and CALL FOR PAPERS 3rd ESFSS / European Symposium on Fire Safety Science http://www.esfss2018.com/ NANCY (FRANCE) 12TH-14TH SEPTEMBER, 2018

Source URL: www.brand.lth.se

Game Semantics for some Non-Classical Logics Can BAS ¸ KENT INRIA, Nancy - France

Source URL: canbaskent.net

Public Announcements, Topology and Paraconsistency Can BAS ¸ KENT INRIA, Nancy - France

Source URL: canbaskent.net

On Periodic Markov Decision Processes Bruno Scherrer INRIA, Institut Elie Cartan, Nancy, FRANCE EWRL, December 3rd, 2016

Source URL: ewrl.files.wordpress.com

Post-doctorants INRIA 2016 Title : Statistical Verification of Distributed Programs Within SimGrid _______________________________________ - Location: INRIA Nancy Grand Est research center --- LORIA, Nancy, France - Rese

Source URL: veridis.loria.fr